Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
201	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
202	technical . corresponclence On Nondeterministic Programs [] A group at the Naval Research Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 18:59:28 Grammar Predicate Semantics Dijkstra Predicate transformer semantics Logic Mathematical logic Mathematics
203	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
204	Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation ∗ Guoliang Jin Aditya Thakur Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-10-25 14:16:29 Software engineering Grammar Predicate Semantics Thread safety Commodity channel index Monitor Sampling Software bug Logic Concurrency control Mathematical logic
205	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
206	A Fundamental Flaw In An Incompleteness Proof By Swierczkowski Add to Reading List Source URL: www.jamesrmeyer.com Language: English - Date: 2015-05-02 09:47:34 Predicate logic Model theory Elementary mathematics Semantics Function Quantification Free variables and bound variables Expression Interpretation Mathematics Logic Mathematical logic
207	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
208	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
209	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
210	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic

UPDATE